Probabilistic Error Correction in Arbitrarily Large Lukasiewicz Logic Arrays

نویسندگان

  • R. A. Montante
  • J. W. Mills
چکیده

Lukasiewicz logic arrays (LLAs) are analog VLSI circuits structured as trees of continuous-valued implications. First described in 1990, LLAs are now nding uses as applicationspeci c array processors for image processing, fuzzy inference, and robotic control. Yet an early question persists: Why do LLAs work? Intuitively, a small error should build up through successive implications of an arbitrarily deep Lukasiewicz logic array (LLA) and render the output unusable, yet LLAs fabricated in normal MOSIS runs are typically precise to 10 bits. Analog neural nets are comparably robust. We compared the information capacity of a 31-cell LLA and a baseline circuit consisting of simple wires. The results indicate that the LLA preserves approximately 3/4 bit less information per input than the baseline circuit. The magnitude of the error is not a function of the number of implications in the LLA. Functional and electrical simulations suggest that information loss in an LLA increases less than linearly with circuit size. Our hypothesis, based on information theory, is that random noise in one node partially cancels the error introduced by previous nodes. In arbitrarily large LLAs random noise acts to correct errors in analog values without having to encode them. The LLA is inherently and probabilistically error-correcting. We close by discussing circuits that we are fabricating to verify the hypothesis by measuring information loss at multiple points within an LLA.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Large Lukasiewicz Logic Arrays

Lukasiewicz logic arrays (LLAs) are analog VLSI circuits structured as trees of continuous-valued implications. First described in 1990, LLAs are now nding uses as applicationspeci c array processors for image processing, fuzzy inference, and robotic control. Yet an early question persists: Why do LLAs work? Intuitively, a small error should build up through successive implications of an arbitr...

متن کامل

Nonmonotonic Probabilistic Logics between Model-theoretic Probabilistic Logic and Probabilistic Logic under Coherence Nonmonotonic Probabilistic Logics between Model-theoretic Probabilistic Logic and Probabilistic Logic under Coherence

Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P . In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated notions of classical default entailment that...

متن کامل

SOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC

In this paper, based in the L ukasiewicz logic, the definition offuzzifying soft neighborhood structure and fuzzifying soft continuity areintroduced. Also, the fuzzifying soft proximity spaces which are ageneralizations of the classical soft proximity spaces are given. Severaltheorems on classical soft proximities are special cases of the theorems weprove in this paper.

متن کامل

{\L}ukasiewicz {\mu}-calculus

The paper explores properties of the Lukasiewicz μ-calculus, or Lμ for short, an extension of Lukasiewicz logic with scalar multiplication and least and greatest fixed-point operators (for monotone formulas). We observe that Lμ terms, with n variables, define monotone piecewise linear functions from [0, 1]n to [0, 1]. Two effective procedures for calculating the output of Lμ terms on rational i...

متن کامل

P ROBABILISTIC L OGIC UNDER C OHERENCE : C OMPLEXITY AND A LGORITHMS Veronica BIAZZO Thomas LUKASIEWICZ Angelo GILIO Giuseppe SANFILIPPO

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and classical model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reas...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007